Nonstandard Methods for Bounds in Differential Polynomial Rings
نویسندگان
چکیده
Motivated by the problem of the existence of bounds on degrees and orders in checking primality of radical (partial) differential ideals, the nonstandard methods of van den Dries and Schmidt [“Bounds in the theory of polynomial rings over fields. A nonstandard approach.”, Inventionnes Mathematicae, 76:77–91, 1984] are here extended to differential polynomial rings over differential fields. Among the standard consequences of this work are: a partial answer to the primality problem, the equivalence of this problem with several others related to the Ritt problem, and the existence of bounds for characteristic sets of minimal prime differential ideals and for the differential
منابع مشابه
Arithmetic Nullstellensatz and Nonstandard Methods
In this study we find height bounds for polynomial rings over integral domains. We apply nonstandard methods and hence our constants will be ineffective. Furthermore we consider unique factorization domains and possible bounds for valuation rings and arithmetical functions.
متن کاملNonstandard finite difference schemes for differential equations
In this paper, the reorganization of the denominator of the discrete derivative and nonlocal approximation of nonlinear terms are used in the design of nonstandard finite difference schemes (NSFDs). Numerical examples confirming then efficiency of schemes, for some differential equations are provided. In order to illustrate the accuracy of the new NSFDs, the numerical results are compared with ...
متن کاملA new total variation diminishing implicit nonstandard finite difference scheme for conservation laws
In this paper, a new implicit nonstandard finite difference scheme for conservation laws, which preserving the property of TVD (total variation diminishing) of the solution, is proposed. This scheme is derived by using nonlocal approximation for nonlinear terms of partial differential equation. Schemes preserving the essential physical property of TVD are of great importance in practice. Such s...
متن کاملNonstandard explicit third-order Runge-Kutta method with positivity property
When one solves differential equations, modeling physical phenomena, it is of great importance to take physical constraints into account. More precisely, numerical schemes have to be designed such that discrete solutions satisfy the same constraints as exact solutions. Based on general theory for positivity, with an explicit third-order Runge-Kutta method (we will refer to it as RK3 method) pos...
متن کامل